Browsing by Subject "Automatic code generations"

Now showing items 1-2 of 2

    • Conference Object  

      Automatic code generation: A practical approach 

      Papadopoulos, George Angelos (2008)
      This work contributes in bridging the gap between software design and implementation of component-based systems using software architectures at the modelling/design level and the coordination paradigm at the implementation ...
    • Conference Object  

      Tempo-toolkit: Tempo to java translation module 

      Georgiou, Chryssis; Musiał, Peter M.; Ploutarchou, Christos (2013)
      TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...